oplax monoidal functor